max $partialdiff sub Y$ [ Princeton tmax ]